<HTML><HEAD><TITLE>get_min(?Var, -Lo)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_min(?Var, -Lo)</H1>
Retrieve the current lower bound of Var.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Lo</EM></DT>
<DD>Lower bound
</DD>
</DL>
<H2>Description</H2>
<P>
   Primitive for retrieving the lower bound of Var.  Lo returns the minimum
   of the variable's interval.  If the variable is integer and the bound is
   finite, then the bound will be returned as an integer; in all other cases
   it will be returned as a float.  If Var has not been declared before, it
   will be turned into an unrestricted real variable.  If Var is a ground
   number, Lo will give an appropriate bound based on the type and value of
   Var: an exact bound for floats, bounded reals and integers, and a best
   safe approximation for rationals.</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_min(?, -) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/get_bounds-3.html">get_bounds / 3</A>, <A HREF="../../lib/ic/get_float_bounds-3.html">get_float_bounds / 3</A>, <A HREF="../../lib/ic/get_integer_bounds-3.html">get_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_finite_integer_bounds-3.html">get_finite_integer_bounds / 3</A>
</BODY></HTML>
